翻訳と辞書
Words near each other
・ Euclid, West Virginia
・ Euclide Trotti
・ Euclidean
・ Euclidean algorithm
・ Euclidean distance
・ Euclidean distance matrix
・ Euclidean division
・ Euclidean domain
・ Euclidean field
・ Euclidean geometry
・ Euclidean group
・ Euclidean minimum spanning tree
・ Euclidean plane isometry
・ Euclidean quantum gravity
・ Euclidean random matrix
Euclidean relation
・ Euclidean rhythm
・ Euclidean shortest path
・ Euclidean space
・ Euclidean tilings by convex regular polygons
・ Euclidean topology
・ Euclidean vector
・ Euclideon
・ Euclides (crater)
・ Euclides da Cunha
・ Euclides da Cunha (disambiguation)
・ Euclides da Cunha Paulista
・ Euclides da Cunha, Bahia
・ Euclides Danicus
・ Euclides Kourtidis


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Euclidean relation : ウィキペディア英語版
Euclidean relation
In mathematics, Euclidean relations are a class of binary relations that satisfy a weakened form of transitivity that formalizes Euclid's "Common Notion 1" in ''The Elements'': ''things which equal the same thing also equal one another.''
==Definition==
A binary relation ''R'' on a set ''X'' is Euclidean (sometimes called right Euclidean) if it satisfies the following: for every ''a'', ''b'', ''c'' in ''X'', if ''a'' is related to ''b'' and ''c'', then ''b'' is related to ''c''.〔.〕
To write this in predicate logic:
:\forall a, b, c\in X\,(a\,R\, b \land a \,R\, c \to b \,R\, c).
Dually, a relation ''R'' on ''X'' is left Euclidean if for every ''a'', ''b'', ''c'' in ''X'', if ''b'' is related to ''a'' and ''c'' is related to ''a'', then ''b'' is related to ''c'':
:\forall a, b, c\in X\,(b\,R\, a \land c \,R\, a \to b \,R\, c).

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Euclidean relation」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.